1. Computer-aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999
Author: Nicolas Halbwaches, Doron Peled )Eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Evaluation -- Congresses ، Computer software,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
1633
